Logic in computer science

Results: 2713



#Item
11A Computational Grammar and Lexicon for Maltese Master of Science Thesis in the programme: Computer Science — Algorithms, Languages and Logic J J. C

A Computational Grammar and Lexicon for Maltese Master of Science Thesis in the programme: Computer Science — Algorithms, Languages and Logic J J. C

Add to Reading List

Source URL: academic.johnjcamilleri.com

- Date: 2014-04-23 15:38:23
    12Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn

    Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn

    Add to Reading List

    Source URL: ceur-ws.org

    - Date: 2009-07-07 04:46:34
      13Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005

      Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005

      Add to Reading List

      Source URL: www.doc.ic.ac.uk

      - Date: 2005-03-06 09:02:36
        14Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas

        Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas

        Add to Reading List

        Source URL: logic.cse.unt.edu

        - Date: 2011-01-23 15:58:50
          15Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes Paul Tarau Department of Computer Science and Engineering University of North Texas Research supported in part by NSF grant

          Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes Paul Tarau Department of Computer Science and Engineering University of North Texas Research supported in part by NSF grant

          Add to Reading List

          Source URL: logic.cse.unt.edu

          - Date: 2010-09-25 09:01:59
            16Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

            Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

            Add to Reading List

            Source URL: i12www.iti.kit.edu

            - Date: 2009-01-05 04:34:04
              17STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science

              STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science

              Add to Reading List

              Source URL: mizar.org

              - Date: 2010-03-05 21:10:35